A Conflicts Detection Approach for Merging Formal Specification Views
نویسندگان
چکیده
منابع مشابه
A Conflicts Detection Approach for Merging Formal Specification Views
Specifying software requirements is an important, complicated and error prone task. It involves the collaboration of several people specifying requirements that are gathered through several stakeholders. During this process, developers working in parallel introduce and make modifications to requirements until reaching a specification that satisfies the stakeholders’ requirements. Merge conflict...
متن کاملFormal Specification and Verification Techniques for RISC Pipeline Conflicts
We outline a general methodology for the formal verification of instruction pipelines in RISC cores. The different kinds of conflicts, i. e. resource, data and control conflicts that can occur due to the simultaneous execution of the instructions in the pipeline, have been formally specified in higher order logic. Based on a hierarchical model for RISC processors, we have developed a constructi...
متن کاملMerging Relational Views: A Minimization Approach
Schema integration is the procedure to integrate several inter-related schemas to produce a unified schema, called the mediated schema. There are two major flavors of schema integration: data integration and view integration. The former deals with integrating multiple data sources to create a mediated query interface, while the latter aims at constructing a base schema, capable of supporting th...
متن کاملUsing Formal Specification to Resolve Conflicts between Contracting Agents
In this paper, we use formal specification techniques to provide precompiled and provably correct domain-specific knowledge to autonomous agents. This allows for verifying agent interactions in the environment. In particular, we show that negotiating agents can resolve mutually incompatible local preferences and settle for an acceptable compromise by reasoning with formally specified default an...
متن کاملA Formal Approach to Software Component Specification
There is a general consensus that the paradigm shift to component-based software development should be accompanied by a corresponding paradigm shift in the underlying approach to specification and reasoning. Work in modular specification and verification has shown the way, and following its lead, in this position paper, we outline our approach to specifying and reasoning about components, which...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Journal of Software Engineering and Applications
سال: 2010
ISSN: 1945-3116,1945-3124
DOI: 10.4236/jsea.2010.35052